On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 8

Source URL: www.cs.uni-potsdam.de

Theory Solving made easy with Clingo 5 (Extended Version∗) Martin Gebser Roland Kaminski Torsten Schaub

Source URL: www.cs.uni-potsdam.de

Dyan Watson () Materials needed: A. Youtube: Michael Eric Dyson and Roland Martin Interview/Debate B. Copies of NPR article C. Criteria sheet for persuasive essay D. Highlighters

Source URL: www.octe.org

On the Design of Deformable Input- / State-Lattice Graphs Martin Rufli Roland Siegwart Autonomous Systems Lab, Institute for Robotics and Intelligent Systems, ETH Zurich

Source URL: europa.informatik.uni-freiburg.de

• Analytic geometry
• Lattice theory
• Lie groups
• Lattice
• Kinematics
• Coordinate system
• Pseudocomplement

Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨

Source URL: www.cs.rhul.ac.uk

Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3

Source URL: www.cs.rhul.ac.uk

Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3

Source URL: logic.las.tu-berlin.de

Interaction location outweighs the competitive advantage of numerical superiority in Cebus capucinus intergroup contests Margaret C. Crofoot*†, Ian C. Gilby*, Martin C. Wikelski‡, and Roland W. Kays§ *Department of

Source URL: crofoot.ucdavis.edu

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

Automatic generation of test drivers for model inference of web applications Karim Hossen*, Roland Groz, Catherine Oriat and Jean-Luc Richier Université de Grenoble, FSt Martin d’Hères Cedex, France {lastname}

Source URL: www.spacios.eu